-
1 логическая формула
Русско-белорусский математический словарь > логическая формула
-
2 логическая формула
Mathematics: logical formulaУниверсальный русско-английский словарь > логическая формула
-
3 логическая формула
logical formula мат.Русско-английский научно-технический словарь Масловского > логическая формула
-
4 логическая формула средней
Русско-казахский экономический словарь > логическая формула средней
-
5 неопровержимая (логическая) формула
Information technology: irrefutable formulaУниверсальный русско-английский словарь > неопровержимая (логическая) формула
-
6 опровержимая (логическая) формула
Information technology: refutable formulaУниверсальный русско-английский словарь > опровержимая (логическая) формула
-
7 неопровержимая формула
1) Mathematics: irrefutable formula2) Information technology: (логическая) irrefutable formulaУниверсальный русско-английский словарь > неопровержимая формула
-
8 опровержимая формула
1) Mathematics: refutable formula2) Information technology: (логическая) refutable formulaУниверсальный русско-английский словарь > опровержимая формула
-
9 неопровержимая формула
adjIT. (логическая) formule irrebutableDictionnaire russe-français universel > неопровержимая формула
-
10 опровержимая формула
adjIT. (логическая) formule réfutableDictionnaire russe-français universel > опровержимая формула
-
11 registered Boolean equation
булева ( логическая) формула(, описывающая схему) с регистровыми элементамиАнгло-русский словарь промышленной и научной лексики > registered Boolean equation
-
12 отрицание
1) General subject: abnegation, contradiction, denial, denial of something (чего-л.), disavowal, disclaimer, nay, nay say, nay-say, negating, negation, negation of (smth.) (чего-л.), negative, no, repudiation2) Medicine: denial (защитный механизм)3) Philosophy: sublation4) Engineering: inversion (логическое), logic inversion (логическое)5) Bookish: denegation6) Mathematics: complementary relation7) Law: negative averment (чего-л.), negative word9) Psychology: disbelief10) Jargon: neighbo11) Information technology: negate, negation (логическая функция или операция), negation (логическая операци)14) Robots: NOT function15) leg.N.P. traverse16) Electrical engineering: negation (логическая операция)
См. также в других словарях:
ЛОГИЧЕСКАЯ ФОРМУЛА — выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. ф. дается для каждого конкретного логич. языка. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых… … Математическая энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ЛОГИЧЕСКАЯ АКСИОМА — формула логико математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из… … Математическая энциклопедия
Логическая дизъюнкция — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическая сумма — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
ЛОГИЧЕСКАЯ МАТРИЦА — система где М непустое множество, двуместные, а одноместная операции на М. Любую формулу логики высказываний, построенную из пропозициональных переменных р 1, ..., р n с помощью логич. связок можно рассматривать как n местную функцию на М, если р … Математическая энциклопедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… … Философская энциклопедия
Алгебра кортежей — Алгебра кортежей математическая система моделирования и анализа многоместных отношений. Содержание 1 Использование термина 2 Определение 3 На чем … Википедия